mathematical logic class 12